441. Threshold logic & its applications
پدیدآورنده : MUROGA,SABURO
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : THRESHOLD LOGIC , LINEAR PROGRAMMING , SWITCHING THEORY
رده :
QA
401
.
M85
442. Towards a design flow for reversible logic
پدیدآورنده : Wille, Robert., Robert Wille, Rolf Drechsler
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer logic,، Computer architecture,، Logic programming
رده :
QA
76
.
9
.
L63
W55
2010
443. Towards a design flow for reversible logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic. ; Computer architecture. ; Logic programming. ; Reversible computing. ;
444. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on )Trans( Actions and Change in Logic Programming and Deductive Databases, )DYNAMICS'97(, Port...Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
پدیدآورنده : Burkhard Freitag...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Deductive databases,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1472
445. Trends in Functional Programming
پدیدآورنده : \ Jurriaan Hage , Jay McCarthy (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
446. Trends in functional programming :
پدیدآورنده : Michał Pałka, Magnus Myreen (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
447. Trends in functional programming :
پدیدآورنده : David Van Horn, John Hughes (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
448. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
449. Truth, deduction, and computation
پدیدآورنده : / R.E. Davis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
450. Uncertainty treatment using paraconsistent logic
پدیدآورنده : Joao Inacio da Silva Filho, Germano Lambert-Torres and Jair Minoro Abe
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع : Neural networks (Computer science),Uncertainty (Information theory),Logic programming,Inconsistency (Logic),Artificial intelligence
رده :
QA
,
76
.
87
,.
S57
,
2010
451. Uncertainty treatment using paraconsistent logic: introducing paraconsistent artificial neural networks
پدیدآورنده : Silva Filho, Joao Inacio da.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Neural networks )Computer science(,، Uncertainty )Information theory(,، Logic programming,، Inconsistency )Logic(,، Artificial intelligence
رده :
QA
76
.
87
.
S57
2010
452. VHDL Coding and Logic Synthesis with Synopsys
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Vhdl (Computer Hardware Description Language) ; Logic Programming. ;
453. Web Reasoning and Rule Systems
پدیدآورنده : \ Balder ten Cate , Alessandra Mileo (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگره‌ها ,برنامه‌نویسی مبتنی بر قواعد -- کنگره ها ,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
TK
5105
.
88815
.
W4
2015
E-Book
,
454. Web reasoning and rule systems
پدیدآورنده : Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
455. Why prolog?: justifying logic programming for practical applications
پدیدآورنده : Gregory L. Lazarev
موضوع : Prolg(Computer program language),Logic programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
456. Zur Logik der Logik-Programmierung :
پدیدآورنده : Clemens Beckstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming.,Logische Programmierung.
رده :
QA76
.
63
C546
1988
457. Zur Logik der Logik-Programmierung : ein Konstruktiver Ansatz
پدیدآورنده : Beckstein, Clemens
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
B43
1988
458. based program synthesis and transformation :-Logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses ;
459. <4=foure> Th UK conference on logic programming
پدیدآورنده : edited by Krysia Broda
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Logic programming
رده :
QA
76
.
663
.
P7
1993
